#
# jruby examples for jas.
# $Id$
#

require "examples/jas"

# output gb of rose 

#r = Ring.new( "Mod 19 (U3,U4,A46) L" );
#r = Ring.new( "Mod 1152921504606846883 (U3,U4,A46) L" ); # 2^60-93
#r = Ring.new( "Quat(U3,U4,A46) L" );
#r = Ring.new( "Z(U3,U4,A46) L" );
#r = Ring.new( "C(U3,U4,A46) L" );
#r = Ring.new( "Rat(A46,U3,U4) G" );

rz = Ring.new( "Int(A46) L" );
puts "Ring: " + str(rz);
puts;


r = Ring.new( "Rat(A46) L" );
puts "Ring: " + str(r);
puts;

ps = """
(
( A46^34 + 347/70 A46^33 - 56411/58800 A46^32 - 441350327/6174000 A46^31 - 992593010489/3457440000 A46^30 - 217625706587/329280000 A46^29 - 373467217691021/355622400000 A46^28 - 38574512982739/31752000000 A46^27 - 968821009058023/952560000000 A46^26 - 5992612680961049/10886400000000 A46^25 - 13843426727931961/244944000000000 A46^24 + 1486519769228381881/5598720000000000 A46^23 + 61199280870444808261/167961600000000000 A46^22 + 513991046707657214269/1679616000000000000 A46^21 + 37908065080289396962277/201553920000000000000 A46^20 + 27223946509678338655459/335923200000000000000 A46^19 + 668594689016343141054373/48372940800000000000000 A46^18 - 36250135997129945800663817/2418647040000000000000000 A46^17 - 5712667240922865693346483691/290237644800000000000000000 A46^16 - 42053436689365696671983799179/2902376448000000000000000000 A46^15 - 561895388992743685886859196463/69657034752000000000000000000 A46^14 - 704377755966878925481768484749/193491763200000000000000000000 A46^13 - 2531676547158421516985730163481/1857520926720000000000000000000 A46^12 - 4750291847118917831874464404117/11145125560320000000000000000000 A46^11 - 1835783859800409552862056700927/16511297126400000000000000000000 A46^10 - 9916637291915563585725849353/412782428160000000000000000000 A46^9 - 252376016954713294866494065459/59440669655040000000000000000000 A46^8 - 178806028363626133639831815853/297203348275200000000000000000000 A46^7 - 31482408916666847417595615109/475525357240320000000000000000000 A46^6 - 3818476405879526813756500117/713288035860480000000000000000000 A46^5 - 896701239882765996997050397/3170169048268800000000000000000000 A46^4 - 4844358439974218651958787/760840571584512000000000000000000 A46^3 + 171452325388464998728627/730406948721131520000000000000000 A46^2 + 15230552381256429497/811563276356812800000000000000 A46 + 79792266297612001/259700248434180096000000000000  )
)
""";
ps1="""
(
( A46^33 * U3 + 129/28 A46^32 * U3 - 75613/29400 A46^31 * U3 - 871585543/12348000 A46^30 * U3 - 12095701697/46099200 A46^29 * U3 - 124924301563/219520000 A46^28 * U3 - 378293923381/444528000 A46^27 * U3 - 1617620272123/1764000000 A46^26 * U3 - 82886347203347/119070000000 A46^25 * U3 - 668049914090789/2177280000000 A46^24 * U3 + 99688309115142847/1959552000000000 A46^23 * U3 + 231138576685539839/933120000000000 A46^22 * U3 + 11659387634813949601/41990400000000000 A46^21 * U3 + 70151923964052383971/335923200000000000 A46^20 * U3 + 23176161047838396328367/201553920000000000000 A46^19 * U3 + 164454230781271289566939/4031078400000000000000 A46^18 * U3 - 55282700662490687816927/120932352000000000000000 A46^17 * U3 - 747149106093593978873861/50388480000000000000000 A46^16 * U3 - 841282928607636046387355983/58047528960000000000000000 A46^15 * U3 - 54661970877464131720410138953/5804752896000000000000000000 A46^14 * U3 - 830787778268485831652841532151/174142586880000000000000000000 A46^13 * U3 - 274531406380976793484077680017/139314069504000000000000000000 A46^12 * U3 - 750317990428317888436020594041/1114512556032000000000000000000 A46^11 * U3 - 1416119253746536814898928216649/7430083706880000000000000000000 A46^10 * U3 - 33046099809889641357330063959/743008370688000000000000000000 A46^9 * U3 - 25135248767946559916964025799/2972033482752000000000000000000 A46^8 * U3 - 38214637789543687723872942433/29720334827520000000000000000000 A46^7 * U3 - 3604383688017858128502121387/23776267862016000000000000000000 A46^6 * U3 - 10419538500903067530134609/792542262067200000000000000000 A46^5 * U3 - 268160889047530270882049141/356644017930240000000000000000000 A46^4 * U3 - 4494450124912371106208621/228252171475353600000000000000000 A46^3 * U3 + 19160001876330286653661/36520347436056576000000000000000 A46^2 * U3 + 4148034694905888017/81156327635681280000000000000 A46 * U3 + 11398895185373143/12985012421709004800000000000 U3 )
)
""";
ps2="""
(
( A46^32 * U3^2 + 149/35 A46^31 * U3^2 - 119419/29400 A46^30 * U3^2 - 17080619/246960 A46^29 * U3^2 - 32939303767/138297600 A46^28 * U3^2 - 29988193601/61740000 A46^27 * U3^2 - 3784045943831/5556600000 A46^26 * U3^2 - 2693634126319/3969000000 A46^25 * U3^2 - 21841275550799/47628000000 A46^24 * U3^2 - 21239300351867/145152000000 A46^23 * U3^2 + 100022001638857211/979776000000000 A46^22 * U3^2 + 296696864208881153/1399680000000000 A46^21 * U3^2 + 17088141121241394989/83980800000000000 A46^20 * U3^2 + 19261885997631012911/139968000000000000 A46^19 * U3^2 + 13468170505032365821223/201553920000000000000 A46^18 * U3^2 + 35088518623022364409189/2015539200000000000000 A46^17 * U3^2 - 99017698968245042551237/15116544000000000000000 A46^16 * U3^2 - 3789770743783848575384507/302330880000000000000000 A46^15 * U3^2 - 2933051673126807110607585563/290237644800000000000000000 A46^14 * U3^2 - 948072476821568942948806667/161243136000000000000000000 A46^13 * U3^2 - 18896655281197310848727704481/6965703475200000000000000000 A46^12 * U3^2 - 2845096388251912350859674973/2786281390080000000000000000 A46^11 * U3^2 - 39111610674783351035074010869/123834728448000000000000000000 A46^10 * U3^2 - 1486938573940216107905934971/18575209267200000000000000000 A46^9 * U3^2 - 2445791954945323169329394873/148601674137600000000000000000 A46^8 * U3^2 - 333946045138720738819094237/123834728448000000000000000000 A46^7 * U3^2 - 406526799915645826522761061/1188813393100800000000000000000 A46^6 * U3^2 - 6322467405069477857023283/198135565516800000000000000000 A46^5 * U3^2 - 490026291814312040719379/247669456896000000000000000000 A46^4 * U3^2 - 169501103784936018875857/2853152143441920000000000000000 A46^3 * U3^2 + 2012646248526699378523/1826017371802828800000000000000 A46^2 * U3^2 + 5217570099427357/37572373905408000000000000 A46 * U3^2 + 1628413597910449/649250621085450240000000000 U3^2 )
)
""";
ps3="""
(
( U3^4 + 36097228800000000000000000/282475249 A46^33 + 1161224847360000000000000000/1977326743 A46^32 - 4677045387264000000000000000/13841287201 A46^31 - 874485621920563200000000000000/96889010407 A46^30 - 22660530808584929280000000000000/678223072849 A46^29 - 48947976962992465920000000000000/678223072849 A46^28 - 212357741794443264000000000000/1977326743 A46^27 - 33417694635162617446400000000000/290667031221 A46^26 - 1195585718651671592960000000000/13841287201 A46^25 - 4622243456144475926528000000000/124571584809 A46^24 + 57492745364488210585600000000/7626831723 A46^23 + 5064235904207031314222080000000/160163466183 A46^22 + 796549541441999106994688000000/22880495169 A46^21 + 1776805509375610240638745600000/68641485507 A46^20 + 6571948331935947500408320000/466948881 A46^19 + 15900562307775474505007648000/3268642167 A46^18 - 781823011269699906939632000/4202539929 A46^17 - 23911885581267405621130949120/12607619787 A46^16 - 66484142665897834547281936/36756909 A46^15 - 31344755225898717841650588049/27016328115 A46^14 - 748245898727397783769699627/1286491815 A46^13 - 61180345995024957255947775667/257298363000 A46^12 - 1772332138625205728147155697/22054145400 A46^11 - 1763442424064055410851226129/78414739200 A46^10 - 72564573592100205725791837/14002632000 A46^9 - 65329613048147169962793719/67212633600 A46^8 - 87361765982805204782291/600112800 A46^7 - 6483564254536224014425081/384072192000 A46^6 - 23648026104539505065429/16460236800 A46^5 - 880685511246977438581/10973491200 A46^4 - 31439956654789887473/15676416000 A46^3 + 17918243525346457327/300987187200 A46^2 + 10074090036167/1866240 A46 + 34829612499283/382205952  )
)
""";
ps4="""
(
( A46 * U4 + 7/20 U4 + 2806378846741861368786614566878031251136601782233486293371124444033709909300049715978016727056150885946954243402645730462178807446021415693833183139081658586984935909957265108287928306576671117507805428087796888020739324547730219269915178825763993883433817341952000000000000000/193099928700513998070936429904026968056396066087989232333196930214044975387024916636846108968424103894255784064885243976305160746405290836679402752295622754790839675018341679885489238996414850488675112243144046216420956878738117538991288033099828416943500600350187 A46^32 * U3 + 140608368210259054916983904673796347993009087108223449480869140637168687474157820242084293427769280716150829987371903694486407125016157557573489507333502558345102130864385866957396552184077632209367448052303724048297487583320428452817989972383673573195382911926272000000000000000/1351699500903597986496555009328188776394772462615924626332378511498314827709174416457922762778968727259790488454196707834136125224837035856755819266069359283535877725128391759198424672974903953420725785702008323514946698151166822772939016231698798918604504202451309 A46^31 * U3 + 2973132530031750926781836728171190368295908349443863657109054185698567452354483691980282671132312007156981877065422976124734148815655910511834380182331303177950358622308259910423832682100194502857004946063777788209711503282994815361158167402207667989232295462169477120000000000000/28385689518975557716427655195891964304290221714934417152979948741464611381892662745616378018358343272455600257538130864516858629721577752991872204587456544954253432227696226943166918132472983021835241499742174793813880661174503278231719340865674777290694588251477489 A46^30 * U3 - 738219222373037292445012084441369194910728746958545194778441077198902948054263364937417682200010729210575746685991736931724571115099030702915394756575817790642985569814303481715585979651308619587706574566955474220298898070223241914619143731590342509740953174566721552384000000000000/596099479898486712044980759113731250390094656013622760212578923570756839019745917657943938385525208721567605408300748154854031224153132812829316296336587444039322076781620765806505280781932643458540071494585670670091493884664568842866106158179170323104586353281027269 A46^29 * U3 - 26263613198277033357242907881790564317638488547844618743001644843010275951255995601618105986940603997061861718415452159942810394664057894925733725044191873926510994765442061292542368154720543459005227757920995136654748098710382908816433885918895473973271287136201940664320000000000000/4172696359289406984314865313796118752730662592095359321488052464995297873138221423605607568698676461050973237858105237083978218569071929689805214074356112108275254537471345360645536965473528504209780500462099694690640457192651981900062743107254192261732104472967190883 A46^28 * U3 - 9560261987467874294850640971728702760731659080417859619462176031496681069887590878558384729317157715276514804678872739436230630658282680026803340746414284932116802254277874675348065517256502425989246849745315895036906790401640417642341755791726718494097465403286844184985600000000000/596099479898486712044980759113731250390094656013622760212578923570756839019745917657943938385525208721567605408300748154854031224153132812829316296336587444039322076781620765806505280781932643458540071494585670670091493884664568842866106158179170323104586353281027269 A46^27 * U3 - 144636713736027890114035034090555770840107473490985685648308419164337400894146263765715981457017308677715082713471432001864714782421560684446718632104959754377888118909536279270581334669935787514862899283922492256748522286708189406470339423887947462918232309558821679529984000000000000/5364895319086380408404826832023581253510851904122604841913210312136811551177713258921495445469726878494108448674706733393686281017378195315463846667029286996353898691034586892258547527037393791126860643451271036030823444961981119585794955423612532907941277179529245421 A46^26 * U3 - 24532425560872733727048401118804283865911311477564921900335177229012489937286467620463606284515609505035616190873825110294676684892007020876691541110492442185186251334711679953191506232457944676021905960044901546391272864711217070545467913465760834235337077332640608895369216000000000/766413617012340058343546690289083036215835986303229263130458616019544507311101894131642206495675268356301206953529533341955183002482599330780549523861326713764842670147798127465506789576770541589551520493038719432974777851711588512256422203373218986848753882789892203 A46^25 * U3 - 61280378855985472962083715267099870468639547774190782208008687497788816915947177474302623147240238616774447758611668598585355022788830824893247197811650042416494226679277235085459349523493402070913785423068849805945203419134911827923486496461119063853055966658119121257129574400000000/2299240851037020175030640070867249108647507958909687789391375848058633521933305682394926619487025805068903620860588600025865549007447797992341648571583980141294528010443394382396520368730311624768654561479116158298924333555134765536769266610119656960546261648369676609 A46^24 * U3 - 1484357436021657507567420650984058019197004585757942514498995263423808522091214018761612749478663033895612373062807866818414484967623858841053321992327465827514651989711202442802087572810894125998644840666538477463088224296505304638389800637458850650417392471695314042172211200000000/109487659573191436906220955755583290887976569471889894732922659431363501044443127733091743785096466908043029564789933334565026143211799904397221360551618101966406095735399732495072398510967220227078788641862674204710682550244512644608060314767602712406964840398556029 A46^23 * U3 - 142706740914560864457369678713491100078718980040431434176679594896408407693192038718320939423503224607224793619606860312440116490102586591426353170601317496666073657735251911434293391435267804199376695206269942247915428218586358462081096742118453704497075161839492889751191552000000/2956166808476168796467965805400748853975367375741027157788911804646814528199964448793477082197604606517161798249328200033255705866718597418724976734893688753092964584855792777366954759796114946131127293330292203527188428856601841404417628498725273234988050690761012783 A46^22 * U3 + 3437067913738929851828191102489541091985420513352095924549529468703404236611368673420787140580385095687914414418203044807769960408456154049568142240000401501441029724428786621410870408162134547736165823446770365996810358019535793543622855984068400287198402234509017467116735692800000/422309544068024113781137972200106979139338196534432451112701686378116361171423492684782440313943515216737399749904028576179386552388371059817853819270526964727566369265113253909564965685159278018732470475756029075312632693800263057773946928389324747855435812965858969 A46^21 * U3 + 12665325755293011964582773351828201837497408957482566179025807264260205331500166852839160281570134088487784028319208757397082649585467393387792231298887791806004696105674306391612545456300491907001838309111269128096161395643695348999989978496685257886403350330750962195611697479680000/1266928632204072341343413916600320937418014589603297353338105059134349083514270478054347320941830545650212199249712085728538159657165113179453561457811580894182699107795339761728694897055477834056197411427268087225937898081400789173321840785167974243566307438897576907 A46^20 * U3 + 472460708046707276929317308260575825818443603966144032149144933738614980186931958850077619729999743406167265787440681567111099352622569281813602576458470534069879413676204407012264193237661238006825286040265059435939142815940360874733243831244058419301704863623227097616300687360000/60329934866860587683019710314300997019905456647776064444671669482588051595917641812111777187706216459533914249986289796597055221769767294259693402752932423532509481323587607701366423669308468288390352925108004153616090384828609008253420989769903535407919401852265567 A46^19 * U3 + 49390047765871082949860891586805882007616506646541386751626133624251152479425727198070508507708042448289532261339277046519001543624931425618731092311111454034423497441761556818193037978230663070411942523132669576228611039810197751659696742852563815776238111135652689883724583731200/11081008444933577329534232506708346391411206323060909795960102558026376823739975026714408054884815268077657719385236901415785652978120523435453890301559016567195619018618132026781588020893392134602309720938204844541730887009336348454709977712839424870842339115722247 A46^18 * U3 + 129068221133437408101386032010227938242790415417408002956440388834868112181036866325987181792617952620211570225145421401636968642407417865428308813969801472080155460044151903911373059980563777215433387329713871436510348502082703071326443785803142144287247590693723735936473435504640/77567059114535041306739627546958424739878444261426368571720717906184637766179825187000856384193706876543604035696658309910499570846843664048177232110913115970369333130326924187471116146253744942216168046567433911792116209065354439182969843989875974095896373810055729 A46^17 * U3 + 12783978249076530856412299581616499812448814070864143616141639515320829793115590125926560504059268257844159130491162326200688965203538567110804552270764562224831755709762903109729453955480299083281536877866482795304181415809809747877796974966623540360991948948407257749615539560448/232701177343605123920218882640875274219635332784279105715162153718553913298539475561002569152581120629630812107089974929731498712540530992144531696332739347911107999390980772562413348438761234826648504139702301735376348627196063317548909531969627922287689121430167187 A46^16 * U3 - 1810442970097170462121122653290427291604967782620000014180906504389275928944428879269826615110693111930022066722356506712480414023024345146923757896554522544082287653722476697782328057603177530844114988866728376051365543251948667665657844199641256470495166203610372754104633985024/3392145442326605304959458930625003997370777445834972386518398742252972497063257661239104506597392429003364607975072520841567036625955262276159354173946637724651720107740244497994363679865324122837441751307613727920938026635511127077972442156991660674747654831343545 A46^15 * U3 - 270639555533122280020486247514756020301825934358369840608010596756492667631965814059407427090369596575058017999403434671889521831726503036761805006306129032875224481365310003762906407037966481686173976406974516397321267076580148872307324693442737067092534607150395172934720327272832/498645380022010979829040462801875587613504284537740940818204615111186957068298876202148362469816687063494597372335660563710354384015423554595425063570155745523802855837815941205171460940202646057103937442219218004377889915420135680461948997077774119187905260207501115 A46^14 * U3 - 1435948341205771592618056822768583583847960643508655403782679773815551216480844799951609196462939014609390424305428592870359320910647059517420727369800472093539593358295705161364370776721823709904982580674821197915654942789644804770077615722633391761110116425814824933514747954464/4038268383722149172570784441220242854012830292660681412521903264586872020313401977665600603092133844051624533303657762906627424554708645566856374016603140148394904890166957735707575809363481098616002084890016342763021460280370389378538621615466262708032922418266125 A46^13 * U3 - 24031158593232439577778424195027450454772002899626269270999618447601656149784654839122276071971243436018537991067130120319932291937910513510530154436517553834823319688270120213094719167314095473720221761127649325967639043315665428464820334187025317629951306324495868404822629086296/134236911348351843098270045621466866730124986864072399717750703996191750825995749157075115524896810946741187375897970359936383987082400454395753337285576744128805506776152891566359869240901645564547003977625417625011994772636432792658457195911102149817275285411208125 A46^12 * U3 - 55342608527391903114377714171300343766958416997314322747423256743530874483390328684036373961531616542340488099823707750319655515404839491476271584066825595064560837447788507941963050626463472192927052092190464771899480038023820496414639119032434176994304931597908860375406025786078/763232724523486193615878259390625899408424925312868786966639717006918811839232973778798513984413296525757036794391317189352583240839934012135854689137993488046637024241555012048731827969697927638424394044213088782211055992990003592543799485323123651818222337052297625 A46^11 * U3 - 2029624852259950049380302093920186872530375028355631473518046159913882812276759452807058944803805569580457303136641881139738479285051882346521262597896200616610534853804143612625821026733823701571937719332556063675018717208715246680768950536936393557501213975920703061913308587814/84803636058165132623986473265625099934269436145874309662959968556324312426581441530977612664934810725084115199376813021039175915648881556903983854348665943116293002693506112449859091996633103070936043782690343198023450665887778176949311053924791516868691370783588625 A46^10 * U3 - 1168942911153266036621765763524847385999721254478313573544681811727225087201633669304728449000690805131434160354788200355429868149616777944697604839445821146293319865569802164294050791015324448927695484221067203620046595245414313118308514802029950573572440600781377894978809819943/181722077267496712765685299854910928430577363169730663563485646906409240914103088994952027139146022982323103998664599330798234104961889050508536830747141306677770720057513098106840911421356649437720093820050735424335965712616667522034237972695981821861481508821975625 A46^9 * U3 - 101409764297139370497431870913772400890980479461654448912068336828050482388546012701358058370032729748116854879439321035194274795413256750973689666942448462456840973308098467386964329640348557236019188613852479460195591937286545711022988218130783801374434056440021146855389791263/72688830906998685106274119941964371372230945267892265425394258762563696365641235597980810855658409192929241599465839732319293641984755620203414732298856522671108288023005239242736364568542659775088037528020294169734386285046667008813695189078392728744592603528790250 A46^8 * U3 - 3322794676291853666085201130675181837616673614933545069242421946525758427676251695684072633966150401809622984292825237098582373428490919709859723984671293905443481868170729806447368393045191340333060166403807452609937752781689646834959249508572627032878032237058297511762260717/13845491601333082877385546655612261213758275289122336271503668335726418355360235351996344924887316036748426971326826615679865455616143927657793282342639337651639673909143855093854545632103363766683435719622913175187502149532698477869275274110170043570398591148341000 A46^7 * U3 - 235997802096027015525218011390431135161602429335194555350491794738198772970078394908866958050373633238495091699843397584952514894044850979218568026142058202580747771909113137749719827302612618129281900176792733050978935129822521807364852652110897499832909022097494923166043147/7417227643571294398599399994077997078799076047744108716876965179853438404657268938569470495475347876829514448925085686971356494080077104102389258397842502313378396737041350943136363731483944875008983421226560629564733294392517041715683182559019666198427816686611250 A46^6 * U3 - 3496748794132449388555216753002710407113019869328151832331519672134490805457467271923368355368145123271002659562187642206698039955131848140898636455957544259518289841694390481218777439807140629994396001816472151472171553970751649445797629489197230923775536860056783627934479/1130244212353721051215146665764266221531287778703864185428870884549095375947774314448681218358148247897830773169536866586111465764583177767983125089195047971562422359930110619906493520988029695239464140377380667362245073431240692070961246866136330087379476828436000 A46^5 * U3 - 25797731568499728113711563609522696636972574369245543976139702215108120141166264492184554278639511568603311186805558250985505155379498427020368472760296798230482403566780044258141402965693251712985897771176010862913999745411179857703742819398871451136186089552354116699661/129170767126139548710302476087344711032147174709013049763299529662753757251174207365563567812359799759752088362232784752698453230238077459198071438765148339607133983992012642275027830970060536598795901757414933412828008392141793379538428213272723438557654494678400 A46^4 * U3 - 105307750747592845167925795351809474019566402815312738506184953133174877999878727791254675413428352747128321422294719175016172361719591143541377238760546940146607913162164819516842775340285454038918138509577296566880300576934730064221978046439482447941555635234543414413987/16607670059075084834181746925515748561276065319730249255281368099496911646579540947001030147303402826253839932287072325346943986744895673325466327841233357949488655084687339721075006839007783276988044511667634295935029650418230577369226484563635870671698435030080000 A46^3 * U3 + 6729992771983469644834688420302244188161700009523433301108672306478446515336817887911228386552702182506838452635857560083522640089937561680000956097567263329228552440470166784211722333574861459688985916960390707820563713605127900163322847651117899308325942825648612997/67786408404388101364007130308227545148065572733592854103189257548966986312569554885718490397156746229607509927702336021824261170387329278879454399351972889589749612590560570290102068730644013375461406170071976718102161838441757458649904018627085186415095653184000 A46^2 * U3 + 97004104716134687567531815774189859076177884454360758941608137811927278665332561915062791777635759119435458822688898910056883442317958132684946302161704171063308484365878439710058473575123783245727688981281817771384031307613137609700123391407537243830931947114431/6831585629064056574855845836052158745080934515857178544035198543609673601669897191808363859627789995425297044867960294464526195050373321126677188143307925380675194012654126509458510328107232388557460939286669359345141026801890396437380097619257766330571494400 A46 * U3 + 91815250260603771367686439814867337622922814376622703580092567517752668189839523750475603039746288206705982958930474905045662465449513750706031249185792777351062825505761724720085638243587008740273119957261765515541418363044444151757419729917247863640658968103/351338689494722909564014928711253878318448060815512039407524496528497499514451855578715855638000628336158133736066529429604204316876342229371969675941550448149009977793640791915009102588371951411526562591885852766321538521240077531065262163276113697000819712 U3 )
)
""";
ps5="""
(
( U3^2 * U4 + 535179163636213160230552332612905761790726203364450534489129686242659247983859225063689303002742332435127911688744222034136908867349929123331100864371658990936252805314758914346647230739008414163809378439226935298947238851749778443095061790353887385009084423995392000000000000000/348416638018627423852659631690165992696423968578095238206531661082875150589988624585082662615359891459868853047741275214579945040097279766315202366058735323894271720291427837740051083562531195231732794190712907389828879861536476746186614041056457073638389583231854077 A46^31 * U3^3 + 117444957438518475167713581434975737067164998391805610491814809960560346257088363610575217412650923824342320317819214071400331125353389211274396241076281078058047842081052040344628591911420714970389327499109713526665438238583003654833271274497439548231330310580181401600000000000000/2438916466130391966968617421831161948874967780046666667445721627580126054129920372095578638307519240219081971334188926502059615280680958364206416562411147267259902042039994864180357584937718366622129559334990351728802159030755337223306298287395199515468727082622978539 A46^30 * U3^3 + 2401741581776741318484092416102407292900015435135593836159021006355478379624893489598800836632769384261155218893078011625298104568085745627327942804937416501911688374548247994274079800109905304371024073616832343444568942958320613360649846757743965134232833554270042193920000000000000/17072415262912743768780321952818133642124774460326666672120051393060882378909442604669050468152634681533573799339322485514417306964766708549444915936878030870819314294279964049262503094564028566354906915344932462101615113215287360563144088011766396608281089578360849773 A46^29 * U3^3 - 805568218873790937813389084592233191792825630736851320718859307972639139165702967980087508722852747263747190017939561005107936647865901266983449666943346565871280018184856673037268657368899455757140347277745038838145391480304288946439289988670652938164442307992695603200000000000000/2072374107058772364996455265949022002801273200386473989101277914764615780098834073399133293821996117411589883156796371074004412984162432829701405980777102013220841619536874248754407890091587282621115868336668102336034204494341240299572403747093030802161288330321259221 A46^28 * U3^3 - 7685682775116980037756417525104129020857901100253508944433808002299072796987780826355035229956095427761674994214377901743588098560205258976689072899389795364550488078379086807213438803727723516868672038614031636269842625366221371250239578203300336002844575259786307614801920000000000000/2509645043648173334010707327064265645392341845668020000801647554779949709699688062886350418818437298185435348502880405370619344123820706156768402642721070538010439201259154715241587954900912199254171316555705071928937421642647242002782180937729660301417320168019044916631 A46^27 * U3^3 - 1034113844705967884541016548705263783711258150109052467551058076026319678448759166131211515280654219796468782344958028728719356943011812509405877602376788836215237969187146349036450163464263286874467724055879617971867571915156566751269616939474200904886354631269920338765414400000000000/119506906840389206381462253669726935494873421222286666704840359751426176652366098232683353277068442770735016595375257398600921148753366959846114411558146216095735200059959748344837521661948199964484348407414527234711305792507011523942008616082364776257967627048525948411 A46^26 * U3^3 - 48658714056579159584588250657320626399886844717677219117243540154602424522685502681521979204132079896072758913281262740708279626890869807641530459145331943833017069929236863886983924086820489878464574416932681640220499275442882030223770711661291180467191894819368336275978321920000000000/3226686484690508572299480849082627258361582373001740001030689713288506769613884652282450538480847954809845448075131949762224871016340907915845089112069947834584850401618913205310613084872601399041077407000192235337205256397689311146434232634223848958965125930310200607097 A46^25 * U3^3 - 8255947206923045970115261594812428132415296386179673138598668698030130733176457946142061749654776338102806089384084736737962150165972226111226766639416349566788039796025933969548991539844303719591225974525365272074129459969218772790071341578178550260218707253120429402938146816000000000/460955212098644081757068692726089608337368910428820000147241387612643824230554950326064362640121136401406492582161707108889267288048701130835012730295706833512121485945559029330087583553228771291582486714313176476743608056812758735204890376317692708423589418615742943871 A46^24 * U3^3 - 19945713493372992010989573088745323542756396319972931197979116120090053547915047057950693601445545496940530403318628583782260656315550176840007325651552659987878417938292973350492923084265613272190430226035072662253316611695490659970858884921554483178528771682266082834119655424000000000/1382865636295932245271206078178268825012106731286460000441724162837931472691664850978193087920363409204219477746485121326667801864146103392505038190887120500536364457836677087990262750659686313874747460142939529430230824170438276205614671128953078125270768255847228831613 A46^23 * U3^3 - 435093775488421369600147732183313564461463032259212791823425518543075036047179553289353390602878450300140400400876508808029170501403708143242207930225443742617112912856658164191471704385406656699565008229508861688289615831997614509046870265598882388184233731177202498351136768000000000/65850744585520583108152670389441372619624130061260000021034483944663403461507850046580623234303019485915213226023101015555609612578385875833573247185100976216017355135079861332869654793318395898797498102044739496677658293830394105029270053759670386917655631230820420553 A46^22 * U3^3 + 1666712214493918375843073715679404854923553599857383781647492939009113706816140218151303957915155518916011997458056804212971047568027330977305056462875462122879154305439206460319912215754500114817599379012537086490342649170430864147520080485377840240561213239361225941393442471936000000/1777970103809055743920122100514917060729851511654020000567931066505911893460711951257676827326181526119710757102623727420001459539616418647506477673997726357832468588647156255987480679419596689267532448755207966410296773933420640835790291451511100446776702043232151354931 A46^21 * U3^3 + 1284088025543201778701542120995051734041815978306710257005722604826526562109618762971947126682732875656141515493855498879095407124008034223158582017519436364169634168807052804122297828912887489492802203539147042679430553728949689548527311377444129568517124121118716963986204576972800000/253995729115579391988588871502131008675693073093431428652561580929415984780101707322525261046597360874244393871803389631428779934230916949643782524856818051118924084092450893712497239917085241323933206965029709487185253419060091547970041635930157206682386006176021622133 A46^20 * U3^3 + 4254014381230883330619305014989375799554837810367142599761760649672291739447040860678177727995158715416431102910496713847267271580162773653334863631889973825919344031375754538234961810569091573254261817527160589941054559827804400510444074230128005539082809168028853708352942800568320000/761987187346738175965766614506393026027079219280294285957684742788247954340305121967575783139792082622733181615410168894286339802692750848931347574570454153356772252277352681137491719751255723971799620895089128461555760257180274643910124907790471620047158018528064866399 A46^19 * U3^3 + 745516437593004300883570660646246938247823802410590380979420190673989967797085587628924839737460064182360717893802831288295892815613347860630889607237862285660785165032805451166314560759396503899171227181213064059364949918934022222627542591929187087049764507673930916328360804352000/182337206830997409898484473440151477871997898846684442679512979848826981177388160317677861483558765882443929556212052858168542666353852799457130312172877280056657633950072429082912591469551501309356214619547530141554381492505449783180216536920428719800707829272090181 A46^18 * U3^3 + 100659132205313930529625050503119312070810564089441017863641173372860790994172383194397174444036783482169409680952402366953488358200797270823652786371161310119627780987982282462009952616082069316251196025335382901954198189565730812891991210118588783206461023328312986396596201321267200/46652276776330908732597955990187328124106890976344548119858249558464160469814599304137292845293392813636725405025112381282837130777107194832531484157374744083067688914939960069642350188852391263579568626229946640503413893296751508810823973946355405309009674603759073453 A46^17 * U3^3 + 31840686398285739366370901635863389542030022459808048577847041429885472147377770155737274410841071887893024815380774859603070679264257251115288897069582531630147721152091634280145756325435744966628395355333013175929902375331398691019183890365382567317614167783255315159428074691624960/46652276776330908732597955990187328124106890976344548119858249558464160469814599304137292845293392813636725405025112381282837130777107194832531484157374744083067688914939960069642350188852391263579568626229946640503413893296751508810823973946355405309009674603759073453 A46^16 * U3^3 - 13828528445690452987305064022092959448876463072880660857470397879545100109724829810338301593203092974158319894346856522064022294423111854351244636838712011841678369295025322372766599272518628248765532325453911764768121252460833528916104395772737785984090513826255228303325154466127872/139956830328992726197793867970561984372320672929033644359574748675392481409443797912411878535880178440910176215075337143848511392331321584497594452472124232249203066744819880208927050566557173790738705878689839921510241679890254526432471921839066215927029023811277220359 A46^15 * U3^3 - 33610752624740506302912013993814981775024007915215935211163351291344044163786135068634072771353605827815789041344588941769903151215762730402577426802629600007206325972644549999333779030662823436337121030730985687375264611402234685156485004573481758060166931327023163395774356304113664/99969164520709090141281334264687131694514766377881174542553391910994629578174141366008484668485841743507268725053812245606079565950943988926853180337231594463716476246299914434947893261826552707670504199064171372507315485635896090308908515599333011376449302722340871685 A46^14 * U3^3 - 440458073572699732774489360478761084951279455207275623193025208264809731530938512938804891081421616585621742589211241713795773058743821672163780025900276255331592774249357759549304463610560721287707008918417645237050696497113058739332361880620366592325582276896858182823540813585536384/1499537467810636352119220013970306975417721495668217618138300878664919443672612120490127270027287626152609030875807183684091193489264159833902797705058473916955747143694498716524218398927398290615057562985962570587609732284538441354633627733989995170646739540835113075275 A46^13 * U3^3 - 6996214565149446678253694413083490264717525678004855498090489246100920822500988095095030219926214938120572903557109272761916802518646083631510656210142715036721759509042764836946925860045014447394355560737664073350497528956878636493202886375323607681733788379035427399732074066732736/39670303381233765929079894549479020513696335864238561326410076155156599038957992605558922487494381644248916160735639780002412526171009519415417928705250632723697014383452346997995195738820060598281946110739750544645760113347577813614646236348941671181130675683468599875 A46^12 * U3^3 - 52720968043649456846417369507000756940194406072631641273516890434262149856954069120692268860993592166109579882175849063584157212108249084107098488501914404760103187541211164434424785557474548152913921719930232076831591869022033755032242197725738904601218545055852510881677688297536184/642658914775987008051094291701560132321880641000664693487843233713536904431119480210054544297408982636832441803917364436039082923970354214529770445025060250123891633011928021367522170968884981692167526993983958823261313836230760580557269028852855073134316946072191317975 A46^11 * U3^3 - 560521169089131499065785274068646758491670755018612288505863123339558028653018546907577396130067320298156818038178669090843281588218301520813686567954392296875641272535840128326520911631312236737399924421960962557597703529589857661762970259131745451459708625790997896125768972935928/18361683279313914515745551191473146637768018314304705528224092391815340126603413720287272694211685218195212622969067555315402369256295834700850584143573150003539760943197943467643490599110999476919072199828113109236037538178021730873064829395795859232409055602062609085 A46^10 * U3^3 - 4197422272012614585634130742038816517252315110924247183388171916467791237166762578598405913589164581591069795124771062594877274429670076994003284050036156103051961891924620808585164846207763280779766288975531255051754977759088637973954664073448069462858272840556659782286260872647812/459042081982847862893638779786828665944200457857617638205602309795383503165085343007181817355292130454880315574226688882885059231407395867521264603589328750088494023579948586691087264977774986922976804995702827730900938454450543271826620734894896480810226390051565227125 A46^9 * U3^3 - 4106654994410345218350715474180779469031652386352768990088763404863224321126834681787202405252012606245929498654531112676402813452159609458415502006915204469860173111678951294367642751272844986752033113410832855341088770049302498143130605877209294548098061602991987492963051239744/1873641150950399440382199101170729248751838603500480155941233917532177563939123849008905376960376042672980879894802811766877792781254677010290875933017668367708138871754892190575866387664387701726435938757970725432248728385512421517659676468958761146164189347149245825 A46^8 * U3^3 - 10861509873129061552037235599451402972763702999367178857883272454799214845428691114656489287350714907124422743117360275388527760856063819431352503904308954737409956132586217400390831701855393788768594250812823801249588131220343764676215839452260384917296536245871426396362711599029/26230976113305592165350787416390209482525740449006722183177274845450485895147733886124675277445264597421732318527239364736289098937565478144072263062247357147913944204568490668062129427301427824170103142611590156051482197397173901247235470565422656046298650860089441550 A46^7 * U3^3 - 1124486478466758794641936904982948237084283820279761242642612077110909965390094116007619021675739939209813695144499796429672334602667319111431706473000996398421642195295148270757273990731860799515046565486145747844982383328993615581180179952020178830599171027345719008701601415523/18736411509503994403821991011707292487518386035004801559412339175321775639391238490089053769603760426729808798948028117668777927812546770102908759330176683677081388717548921905758663876643877017264359387579707254322487283855124215176596764689587611461641893471492458250 A46^6 * U3^3 - 13634406027258739162572410843253056158384774240138183339467954043156022885658076072571122964861139837559116738714581975870696472208621260986499059519385686842525264750880868543070223665506121563803996657564834448591138230910580178478122708511083518804685049985931165670484826297/2141304172514742217579656115623690570002101261143405892504267334322488644501855827438749002240429763054835291308346070590717477464291059440332429637734478134523587282005591074943847300187871659115926787151966543351141403869157053163039630250238584167044787825313423800 A46^5 * U3^3 - 275610949766603790350543874491973128402944565236452331621829945535128551051089218509229304570354572863614983692536142099515347666278429222971179578469228299012270654864962841491251938427241318189542247237765029951590277176611163743592667595081103539096197325545120410752450853/611801192147069205022758890178197305714886074612401683572647809806425327000530236411071143497265646587095797516670305883062136418368874125809265610781279467006739223430168878555384942910820474033121939186276155243183258248330586618011322928639595476298510807232406800 A46^4 * U3^3 - 57091321219446868547123718685194170669561742150029307684083906984399449382980015516422277491250022223527057750658840237853760266613003361978501494129695368914676980282464037464506358216208278225667602395223784571111874119085762583994232092883441120694085505220223346971423259/3496006812268966885844336515303984604085063283499438191843701770322430440003029922348977962841517980497690271523830319331783636676393566433195803490178739811467081276743822163173628245204688423046411081064435172818190047133317637817207559592226259864562918898470896000 A46^3 * U3^3 + 2096019020134284361588278549962801625099190206781628224639171740828930915568065430755481920106589988497979688771818295815492190569468006618308754762164717538084498525703860854191800473065932573287633087040724218118612995977781646506334852358874110328385808128162955638079/14269415560281497493242189858383610628918625646936482415688578654377267102053183356526440664659257063255878659280940078905239333373034965033452259143586693108028903170382947604790319368182401726720045228834429276808938967891092399253908406498882693324746607748860800 A46^2 * U3^3 + 144724249725887284436232581781817786550817001839619049910175696311756292310832604781793691600419996522748911371809754829004775699207861014225518336712102081581627568566107942347420832194840104563187671858359656942129120425684588448408665047033556866808539561866776501/4314260184514436127964380909564205783497694829005739203533961800265235707347901241580178583419276511944332172118198058625922700944228258513515422265634676676652729605557958459498206914038519040580512540841853144915778977442507150190146154648188267067194741571840 A46 * U3^3 + 34523752399540034716636145000935730218516677827634880256328110824710605643763228906652973946423825292328221117422519494495751855171799684110699308767573648503790821554402991388888863972166596620407299382152069987750344858727174998460595722071373991687451348757265/52827675728748197485278133586500478981604426477621296369803613880798804579770219284655247960236038921767332719814670105623543276868101124655290884885322571550849750272138266850998452008634927027516480091941058917336069111540903879879340669161488984496262141696 U3^3 )
)
""";
ps6="""
(
( U3 * U4^3 + 41822330490195068041017320363097809729090890052699731534033293673080362045613806875773900749189755394694179768458994485940692483615892634922652342251410719603257617491056399521754985563535628528166060660260046980535041591378337983957604595139759378622893247460686601951641600000000000000000/356450080441422916364430404818046149990025416021600380113859661592463002937141992302140913567282244477259049192463045797202514832886802745887131987012951584257301943346187289394823441396232477000190857226368174895516164344503923290523438801001095804385269931852430936453389 A46^33 + 454125157206527413523601969987620494847328162420135984302287459170369832878272220272886380031914311891233003000504439954565744301327926677967038692247319542412616194634678505272858478303439697166808691979442683766268105374119197842122316902319990742401536311538368167952547840000000000000000/831716854363320138183670944575441016643392637383734220265672543715747006853331315371662131656991903780271114782413773526805867943402539740403307969696887029933704534474437008587921363257875779667112000194859074756204383470509154344554690535669223543565629840989005518391241 A46^32 - 14740085336461820800966266074682241729581054272188710537515241908189807762813569534360041532382661570106035157724159025403425541339461211407295309969242948500584368294316900034869383665586431029071989963112162284745485647807851469068632801796651905968443260670347124770482847744000000000000000/52398161824889168705571269508252784048533736155175255876737370254092061431759872868414714294390489938157080231292067732188769680434360003645408402090903882885823385671889531541039045885246174119028056012276121709640876158642076723706945503747161083244634679982307347658648183 A46^31 - 9149331424499552779979794487803049109145854134654822152707377782056977306922942650458296507280354954701791394660220920473087273186333364153948147270760935725093184452955662120588287066833595316280317830971486425063174196982668087569045226676196390232025049390929919119574244207001600000000000000/1100361398322672542816996659673308465019208459258680373411484775335933290066957330236709000182200288701298684857133422375964163289121560076553576443908981540602291099109680162361819963590169656499589176257798555902458399331483611197845855578690382748137328279628454300831611843 A46^30 - 79973012198225026539332842880094613358418060119022835029835910425124670099764459027277518388837201641732137026202824480404214035628958792843162201239309141530235969873589550508448718782972837671619969580166184326037129487506541556889887126810734028550977167372000415444560765391994880000000000000/2567509929419569266572992205904386418378153071603587537960131142450511010156233770552321000425134006969696931333311318877249714341283640178625011702454290261405345897922587045510913248377062531832374744601529963772402931773461759461640329683610893078987099319133060035273760967 A46^29 - 8299397433438618012971050717608586981007096658561248516910138778913485394953866129982359922925735316581762478702897711207576975054100165652131628929716109958379944654693325699234875749400905318226733372296404518054930456353699133199857710268046545544970469824348289708598182344299520000000000000/122262377591408060312999628852589829446578717695408930379053863926214810007439703359634333353577809855699853873014824708440462587680173341839286271545442393400254566567742240262424440398907739611065464028644283989162044370164845688649539508743375860904147586625383811203512427 A46^28 - 1009095872071060606887382314527808282304198676274688330469220230071145794033535363745528418711512251257265245188164841956986767644719780200297491853553606313847573922892151658199998953665772946824914444133907829818800088800411900616394966638527678678559806341695040379358176887422246912000000000000/9903252584904052885352969937059776185172876133328123360703362978023399610602615972130381001639802598311688163714200801383677469602094040688982187995180833865420619891987121461256379672311526908496302586320187003122125593983352500780612700208213444733235954516656088707484506587 A46^27 - 17315208871659672382889994991298216489948823684300447200387695359236475124436480420376202114747618244141605164691824173316146543744310447948881287127831116503491247576077521276794352818587011612296482326427954766142441690371899121755561881707409211508579604162112995865737896762901299200000000000/157194485474667506116713808524758352145601208465525767630212110762276184295279618605244142883171469814471240693876203196566309041303080010936225206272711648657470157015668594623117137655738522357084168036828365128922628475926230171120836511241483249733904039946922042975944549 A46^26 - 355912103283291653350342202441876054749468980229513306853575234001898259812970951366303068842390266228175806871138615053043787098181575854719444584002263604429051532090218493757283996626942336013246526185261992049786421446412979193448620795644178642889464382438869086312841888992127016960000000000/4244251107816022665151272830168475507931232628569195726015726990581456975972549702341591857845629684990723498734657486307290344115183160295278080569363214513751694239423052054824162716704940103641272536994365858480910968850008214620262585803520047742815409078566895160350502823 A46^25 - 22500215142403543279349306218081169611665243245444094081053540155023353065879988896297915009225132894908494486994564419892386896801934687727963175381359248310045430450423575265267918061375611015895078661355902220676428093155477822434762767854058633074606376473106078760663121039247968256000000000/606321586830860380735896118595496501133033232652742246573675284368779567996078528905941693977947097855817642676379640901041477730740451470754011509909030644821670605631864579260594673814991443377324648142052265497272995550001173517180369400502863963259344154080985022907214689 A46^24 + 32673087924159313144791905275717518339829777902894646782455060134934567490559434999059780860378598405024654197705939033389093954547300991047620772736355387222770403567834688718752714161637753797576326177011424906610337687450739278051783922665936466482962665445318545262436466728042148326400000000/5456894281477743426623065067359468510197299093874680219163077559319016111964706760153475245801523880702358784087416768109373299576664063236786103589181275803395035450686781213345352064334922990395921833278470389475456959950010561654623324604525775669334097386728865206164932201 A46^23 + 1104476613898878470428452483404305645696373154435799116198630014006790595031027352442953347316486180518984682424499974769238555293892978509198039261572798669589819427036166245573413843280166968329333248039556067221899335330112207191529323373567807146257408223366473003726728025624000104960000000/37121729805971043718524252158907949048961218325678096729000527614415075591596644626894389427221250889131692408757937198022947616167782743107388459790348814989081873814195790566975184111121925104734162131146057071261611972449051439827369555132828405913837397188631736096360083 A46^22 + 78113480257566589843454213154883751458293793164562951385751797138539577840045698708433870322843582703179960018071553825115618374965480805851557122788075034745129320776152687748718547900383557327895464091642273092813119121008016975113831330943443029648706513051422069517463619351777438820096000000/2338668977776175754267027886011200790084556754517720093927033239708149762270588611494346533914938806015296621751750043475445699818570312815765472966791975344312158050294334805719436599000681281598252214262201595489481554264290240709124281973368189572571756022883799374070685229 A46^21 + 8395276376303141598390829139882556608548753795333152128887172440477769331506706983960503595713255764449491015079245760485357931286228197098907656335096624996307325605986758954601108746818602104646481755620539840786476094323961082674609265938980034638463288197875497334999695180183262425971200000/334095568253739393466718269430171541440650964931102870561004748529735680324369801642049504844991258002185231678821434782206528545510044687966496138113139334901736864327762115102776657000097325942607459180314513641354507752041462958446325996195455653224536574697685624867240747 A46^20 + 1980830687381076339084629170133609739180380880215294749410365337574729337777957070632004952411058046327505217385303454420099905980785666056543363976205429431407119959330949327855470437048628780012191977441692141470352845169941328389007388270439665640289698273307474532663228874959149967256320000/143183814965888311485736401184359232045993270684758373097573463655601005853301343560878359219281967715222242148066329192374226519504304866271355487762774000672172941854755192186904281571470282546831768220134791560580503322303484125048425426940909565667658532013293839228817463 A46^19 + 702091132949191502045640382611695646026178320839883517672739200609357661071215369230485179018215789550721046578374598929240937327355327668355522069483080934376708869486654867322142997232774287348753757914178992350603911472387418363244015679942880338944525806103128925167085917623892484556464000/143183814965888311485736401184359232045993270684758373097573463655601005853301343560878359219281967715222242148066329192374226519504304866271355487762774000672172941854755192186904281571470282546831768220134791560580503322303484125048425426940909565667658532013293839228817463 A46^18 - 26433410235178253131164568590264182053663342966938907183003177081908265950075927144928504095882195140380650366718219667766773538150084001651408286437201753129205947322295717753544109541401358911647830600006212366636193412718513659512611675534262638709507230297656780911489899859088163252104000/429551444897664934457209203553077696137979812054275119292720390966803017559904030682635077657845903145666726444198987577122679558512914598814066463288322002016518825564265576560712844714410847640495304660404374681741509966910452375145276280822728697002975596039881517686452389 A46^17 - 36588941424973786825226031379192323188694220080503719244669152016528167903934256688892636045811947246452459444223170684913020286311345813411596839167079667051478933505562383477365997492491009488269523510100891279267477520527793501298375191462023458969167972627835965786511419141962714020174080/20454830709412615926533771597765604577999038669251196156796209093657286550471620508696908459897423959317463164009475598910603788500614980895907926823253428667453277407822170312414897367352897506690252602876398794368643331757640589292632203848701366523951218859041977032688209 A46^16 - 321333621660414138288318264757386991534769910679354013783840583853994409935788586791159864436843010390611984538928952685258511624721739694382405481016998808554437914129696961450517494564423154689101019268062664959334760483746323046684415109519127596246390980123789139075174901071183005966554488/184093476384713543338803944379890441201991348023260765411165881842915578954244584578272176139076815633857168476085280390195434096505534828063171341409280858007079496670399532811734076306176077560212273425887589149317789985818765303633689834638312298715560969731377793294193881 A46^15 - 297844721921145322765306527355860406934008939169980445647884079222865480952075045050385650004580591246687712266033786754423786883489838690861527534993455211693991394970866545156968100893505892393812058175717385845665650930957741425381878068688495541752226534683879631214290521382589457098661971/262990680549590776198291349114129201717130497176086807730236974061307969934635120826103108770109736619795954965836114843136334423579335468661673344870401225724399280957713618302477251865965825086017533465553698784739699979741093290905271192340446141022229956759111133277419830 A46^14 - 451879932351907431338340841430894291445765587061006243890312609075513994394090487211287876791443241336702645913369115324679497644368945637845627225355027484550118544624707338874219923703785680226085214156696766542732612750915702425388991747367656078911167375594394305408128145699286227195203039/788972041648772328594874047342387605151391491528260423190710922183923909803905362478309326310329209859387864897508344529409003270738006405985020034611203677173197842873140854907431755597897475258052600396661096354219099939223279872715813577021338423066689870277333399832259490 A46^13 - 5320311585057193929116580887725053048673711797951597468291152199479233897939064740829295546757123058099231381384546836150171434463598328526972269844562130162789158735497528507679194843684312884543346736256634246332090848994957191293298207019966632338305847326064328022091724095239631394444614337/22542058332822066531282115638353931575754042615093154948306026348112111708683010356523123608866548853125367568500238415125971522021085897313857715274605819347805652653518310140212335874225642150230074297047459895834831426834950853506166102200609669230476853436495239995207414000 A46^12 - 362392746608515719372641040156549702648285106850030418671446645004524075469397447508371929006539117538692298420067983710297061362768282375139330712098123029408339164065434243491074476680334774441684136089288247838831323010949142346356824849579571331534045674787558012078606230561135787887949871/4508411666564413306256423127670786315150808523018630989661205269622422341736602071304624721773309770625073513700047683025194304404217179462771543054921163869561130530703662028042467174845128430046014859409491979166966285366990170701233220440121933846095370687299047999041482800 A46^11 - 155718157831390278974558432491864519634779570729825416271843627583866505195625371450767361228547485547131717071612734991086436233519540316144548267366374648257565699340887077601451758110896914837331994622765481537988675137980472319274860288480400497182597917963360319541332897673699613001900139/6869960634764820276200263813593579146896470130314104365198027077519881663598631727702285290321233936190588211352453612228867511473092844895651875131308440182188389380119865947493283314049719512451070261957321111111567672940175498211403002575423899194050088666360454093777497600 A46^10 - 45201548094888346900126189229758597421851803521277808642167463508827660396693637290758710792553278488070609212455021345000119146078696472196451660991329985879243486243508404638669646114695294849026046972039432309027960523963229014364806077507073721111320914116188285819616980932331878040743049/8587450793456025345250329766991973933620587662892630456497533846899852079498289659627856612901542420238235264190567015286084389341366056119564843914135550227735486725149832434366604142562149390563837827446651388889459591175219372764253753219279873992562610832950567617221872000 A46^9 - 1953129387759091287411246093721824623775778716719168388328766612507051710224152064386589191585418322171515414473927996208486195431232117229550712885298021138550712056198139675205800600486010459477444720900066414100009247618626937808864666954121404483671145377185645585361795757512848953771727/1962845895647091507485789661026736899113277180089744104342293450719966189599609065057795797234638267483025203243558174922533574706597955684471964323230982909196682680034247413569509518299919860700305789130663174603305049411478713774686572164406828341157168190388701169650713600 A46^8 - 376134847222603342228005080394985602907218977535587514699426664550583601459354985670099124083557791013853499761803409404040812308856476452671356746803998334683915044848315929579536086205259194433291389544619656281935845620125586677702558497845124290906144446668089290971220577745466063821/2503629968937616718731874567636144003971016811338959316763129401428528303060725848288004843411528402401817861280048692503231600391068821026112199391876253710710054438819193129552945814158061046811614526952376498218501338535049379814651240005620954516782102283659057614350400 A46^7 - 574485486982304350778070191971122027743291593240873280940414570314432804154563998121312928497476285147145839708807365153231143249845428378451535410210139619924467103332329351315189638465205694465434576925840400070753365257384354164688588108696337944766401214964460997424273537531595188679/32700473063674993877314280067084329847784709372590489035273526875801185999160500875598430607824044439533947575902676800042208658169062152177791992057159232139886425323352726590079292266554266733865985658153488956323282789029216389415852930685661446749807050235546874962944000 A46^6 - 11511257781723192579987461460171218665430662046039138877189380600683547596344289008862892439158437560118751792069494864896646099764172740280826359491156661557991789303166781418829521172671095190437798106362980957418171493748387515586895216124868996215985307716367044170468765302175191523/7630110381524165238039998682319676964483098853604447441563822937686943399804116870972967141825610369224587767710624586676515353572781168841484798146670487499306832575448969537685168195529328904568729986902480756475432650773483824197032350493321004241621645054960937491353600 A46^5 - 1671303995297463181793089014042140921533205745175671854516004230292597522756847916940561516331382516496857206868368002684300205049090986725992113164539129267661714078303721803021367606163396471932149786832020402699788845934151506635865863054320744139050271729184411228168473604636972839/19620283838204996326388568040250597908670825623554293421164116125480711599496300525359058364694426663720368545541606080025325194901437291306675195234295539283931855194011635954047575359932560040319591394892093373793969673417529833649511758411396868049884230141328124977766400 A46^4 - 60908092525844337290393747162251644298087521040833441461527761929200066595412859133091070618059209993364079718454967764919058787501486800829921561765930651085782549124215742770618379064496572773262751298821893631502246026461480269869465295797601392220253848115075799372526327938111547/28028976911721423323412240057500854155244036605077562030234451607829587999280429321941511949563466662457669350773722971464750278430624701866678850334707913262759793134302337077210821942760800057599416278417276248277099533453614048070731083444852668642691757344754464253952000 A46^3 + 45086394754577700869380844548742167538951281901932651744568905863102388384166263647335650948182916349574945031051918658847888488603435323077118198631600514293001349841754886818523071957433889642885763744141389343414660044929152119754129057333007696856923108253108183335928470691323/732185519326600445999340148440838639157395241928556722422450980775956584470998970042553781539617088325424832020211538846426129722269379967129569967927063856659847657385856968547548001770078042320964343599471706077442600057563795541439505853253294201278478559209912535613440 A46^2 + 3731272476720292507686304261693030416127583479257486748224902831742134747688100663209642453477726001478166688384847374161566164080254468319618379882752444074260128081142704326346717896603236118487929226426342553598574093896870131278947045099476660390852113706889521422745255/648548681376311336096354298151253046305799356866989727202426109672580591403591774768418528149462415254238265324025243450986863770434187187437615121817481448997172315569955506437383079799176270479879130881051326953517042284548430007652623523644145232141509494765016064 A46 + 9280862118536625477466695256284609672515130143361639412543372050128009110823486812077779222084224626376141852085219762625785282075028284601725310082870373135311800354168551231605316413369320027988216942534660872550537108296929260273306523538001567960935496614750288886518875/94873407104191829737523828758126159916734077347399640093612048043531789371039711051837224689292787602905711955971692756258649785846372525705159697820157286253300635877662062655982896244908071567342318574599508400057350185625370332548040926887372102530415103234196635648  ), 
( U4^4 - 20/7 A46^2 )
) 
""";

f = r.ideal( ps );
puts "Ideal: " + str(f);
puts;

rg = f.isGB();
puts "is GB output: " + str(rg);
puts;

ri = f.toInteger();
puts "integer Output: " + str(ri);
puts;

rip = ri.list.get(0);
puts "integer polynomial: " + str(rip);
puts;

startLog();

rfi = rz.squarefreeFactors(rip);
#rfi = rz.factors(rip);
puts "squarefree Output: " + str(rfi);
puts;

rfi.each{ |h,i| puts "h**i = " + str(h) + "**" + str(i) };
#puts "g = ", g;
puts;

#startLog();
terminate();
